Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
361	A Universal Innocent Game Model for the B¨ ohm Tree Lambda Theory Andrew D. Ker, Hanno Nickau, and C.-H. Luke Ong Computing Laboratory, Parks Road, Oxford OX1 3QD, UK, {Andrew.Ker, Hanno.Nickau, Luke.Ong}@comlab.ox.ac.u Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:06 Computability theory Lambda calculus Theoretical computer science Determinacy Support Applied mathematics Computer science Decomposition of spectrum Models of computation Spectral theory Mathematics
362	Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2002-02-25 08:31:05 Computability theory Theoretical computer science Models of computation Type theory Logic in computer science Monad Lambda calculus Functional programming Type system Software engineering Computing Computer programming
363	John von Neumann and the Evolutionary Growth of Complexity: Looking Backwards, Looking Forwards. . . Barry McMullin http://www.eeng.dcu.ie/~mcmullin/ c 2000The MIT Press Add to Reading List Source URL: www.eeng.dcu.ie Language: English - Date: 2004-05-21 18:12:48 Turing machine Academia Computability theory Models of computation Cellular automaton Universal Turing machine John von Neumann Self-replication Theory of computation Science Mathematics Artificial life
364	Computational Complexity in Membrane Systems Mario J. P´erez–Jim´enez Research Group on Natural Computing Dpt. of Computer Science and Artificial Intelligence University of Seville, Spain Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:23 Computability theory Theory of computation Computational complexity theory Models of computation Complexity classes Decision problem Church–Turing thesis Computability P Theoretical computer science Applied mathematics Computer science
365	Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-06-24 05:42:44 Computability theory Lambda calculus Models of computation Formal methods Informatics Combinatory logic Computation Information theory Algorithm Applied mathematics Theoretical computer science Mathematics
366	CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis and Olin Shivers Northeastern University {dimvar,shivers}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-02-16 14:40:14 Computer programming Continuations Control flow Computability theory Models of computation Continuation-passing style Eval Stack Lambda calculus Software engineering Computing Subroutines
367	Shannon Information and Kolmogorov Complexity Peter Gr¨ unwald and Paul Vit´anyi∗ July 22, 2010 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-07-22 12:09:06 Information Randomness Statistical theory Algorithmic information theory Computability theory Kolmogorov structure function Entropy Kolmogorov complexity Mutual information Information theory Theoretical computer science Mathematics
368	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
369	From SIAM News, Volume 45, Number 9, NovemberPhysics and Computation Computation and its Limits. By Paul Cockshott, Lewis M. Mackenzie, and Greg Michaelson, Oxford University Press, Oxford, UK, and New York, 2012, Add to Reading List Source URL: www.siam.org Language: English - Date: 2012-12-17 10:03:08 Computability theory Theory of computation Models of computation Alan Turing Halting problem Quantum computer Computability Algorithm Interpretations of quantum mechanics Theoretical computer science Applied mathematics Computer science
370	Opening Thought Anonymous Functions From now on, functions can be anonymous Old code (define (eval-rands rands env fenv) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lambda calculus Subroutines Theoretical computer science Computability theory Formal methods Anonymous function Scheme Map Function Software engineering Computing Computer programming

UPDATE